Module theory - PDFSEARCH.IO - Document Search Engine

Module theory
Results: 977

#	Item
251	slide 1 gaius Lecture 1: Setting the scene and overview in this module we will be using C++ as the programming language and Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:42 Programming idioms Recursion Computability theory Subroutines Theoretical computer science Fibonacci number Functional programming D C Computer programming Software engineering Computing
252	Soft Interfaces: Typing Scheme at the Module Level Martin Gasbichler Holger Gast Wilhelm-Schickard-Institut f Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Programming language theory Type system Subtype polymorphism System F Polymorphism Type inference Type safety Interface Hindley–Milner Software engineering Type theory Computing
253	Microsoft PowerPoint - present_hpca01 [Compatibility Mode] Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2011-01-13 12:23:53 Algebraic analysis D-module Sheaf theory
254	Transparent Modules with Fully Syntactic Signatures Zhong Shao Dept. of Computer Science Yale University New Haven, CT[removed]removed] Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2000-03-14 14:04:42 Mathematics Standard ML Natural transformation Sheaf Limit Grothendieck topology Module Exact functor Yoneda lemma Category theory Abstract algebra Functors
255	MODULE: F1 ACCOUNTING THEORY and PRACTICE LEVEL FELLOW Add to Reading List Source URL: www.ifa.org.hk Language: English - Date: 2008-09-11 15:21:37 Education reform Pedagogy Philosophy of education Education Professional accountancy bodies Curricula
256	Modules and javac a.k.a. Making javac module-aware (Not making javac modular; that comes later) Alex Buckley, Jonathan Gibbons Sun Microsystems Add to Reading List Source URL: openjdk.java.net Language: English - Date: 2015-03-30 14:37:20 Classpath Module theory Perl Perl module Module
257	Educational Programs Vacuum and Space Module covers Working Scientifically and The Earth and Beyond strands. Suitable at Yr 8 – 10 Levels 3 – 5. Add to Reading List Source URL: www.gravitycentre.com.au Language: English - Date: 2015-03-18 00:43:06 Vacuum Introductory physics Zero-point energy Gravitation Physics Quantum field theory Nothing
258	EXAMPLES Contents[removed]. Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-03 17:14:55 Homological algebra Commutative algebra Algebraic structures Algebraic geometry Finitely-generated module Projective module Injective module Completion Flat module Abstract algebra Algebra Module theory
259	Mixin modules in a call-by-value setting Tom Hirschowitz and Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France {Tom.Hirschowitz,Xavier.Leroy}@inria.fr Abstract. The ML module system Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2003-05-25 10:55:37 Functions and mappings Mixin Applied mathematics Lambda calculus Function Μ operator Calculus Mathematics Mathematical logic Computability theory
260	Include Controller Tutorial This is a short tutorial explaining the basics of the include controller. The include controller provides an easy way to include modules in a test plan. It is different than the module control Add to Reading List Source URL: www.opa.shu.edu.tw Language: English - Date: 2015-01-13 01:27:55 Control theory Technology Science Computing Cybernetics Controller Java Management Extensions

UPDATE